The Safety-Critical Software Evaluation Assistant (SEA) *
نویسندگان
چکیده
منابع مشابه
Costing Safety Critical Software
The views expressed in this paper are the views of the author and not necessarily those of the MOD. This paper will focus on the COSTS associated with validation of Safety Critical Software and will suggest some considerations for the way forward. The costs of safety analysis of Software are not straightforward to estimate. The extent of errors in the software requiring correction cannot be pre...
متن کاملSafety Critical Software in C++
To evaluate the suitability of C++ for safety-critical applications [Bin95] and to formulate guidelines for its use in these, the concept of a safety-critical application must first be defined. A safety-critical application [HIS99, Saf00] is one where failure to stay within the bounds of safe operation leads to unacceptable results. Unacceptable results are those which pose a threat to human li...
متن کاملToward dependable safety-critical software
The failure of safety-critical systems can result in catastrophic loss of life and property. Hence, it is necessary to assure the reliability of these systems to a high degree of confidence before they are put into operational use. However, at these extreme levels of ultra-high reliability requirements, typically failures rates of less than 10 7 failures per hour, errors in the specification an...
متن کاملTiming Tolerances in Safety-Critical Software
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour that includes precise definitions as well as analysis of how functional timing requirements interact with performance timing requirements, and how these concepts can be used by software designers. The definitions and ana...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 1995
ISSN: 1474-6670
DOI: 10.1016/s1474-6670(17)44830-0